<!DOCTYPE html>

<html>
  <head>
    <meta charset="utf-8">
    <title>Dart Playground</title>
    
    <link rel="stylesheet" href="playground_ui.css">
    
    <!-- codemirror -->
    <link rel="stylesheet" href="codemirror/codemirror.css">
    <script src="codemirror/codemirror-compressed.js"></script>
    <script src="codemirror/dart.js"></script>
    <link rel="stylesheet" href="codemirror/ambiance.css">
    <link rel="stylesheet" href="codemirror/eclipse.css">
    <link rel="stylesheet" href="codemirror/lesser-dark.css">
    <link rel="stylesheet" href="codemirror/neat.css">
  </head>
  
  <body>
    <h1>Welcome to the Dart Playground!</h1>
    
    <p>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod
     tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim 
     veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea 
     commodo consequat. Duis aute irure dolor in reprehenderit in voluptate 
     velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat
      cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id
       est laborum.</p>
  
  <p id="links">
    <a href="http://www.dartlang.org/docs/language-tour/" target="_blank">Language Tour</a>
    <a href="http://api.dartlang.org/" target="_blank">API Reference</a>
    <a href="http://www.dartlang.org/docs/editor/" target="_blank">Download the Editor &amp; SDK</a>
  </p>
  
  <div class="hr"></div>
  
  <article>
    <div id="pg_editor">
      <div><button id="pg_run">Try it!</button>
      <div id="pg_status"></div></div>
    
      <form><textarea id="code" name="code">void main() {
  print("hello a");
  print("hello b");
  print("hello c");
  
  var foo = 4.0;
  
  print(foo); 
}</textarea></form>
    <div id="pg_output" class="ok"><pre> </pre></div>
	
    </div>
    
    <div id="pg_frame"><div><iframe width="100%" frameborder="0"></iframe></div></div>
    
    <div class="clearfix"> </div><br/>
  
	<footer>
		<p>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod
		 tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim 
		 veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea
		 commodo.</p>
	</footer>
  </article>
  	
<script>
  var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
    mode:  "dart"
  });
  editor.setOption("theme", "eclipse");
</script>

    <script type="application/dart" src="playground_ui.dart"></script>
    <script src="dart.js"></script>
  </body>
</html>
